3

Compactness in locales and in formal topology

Year:
2006
Language:
english
File:
PDF, 319 KB
english, 2006
4

Fuzzy sets and geometric logic

Year:
2010
Language:
english
File:
PDF, 403 KB
english, 2010
6

Sublocales in formal topology

Year:
2007
Language:
english
File:
PDF, 1.38 MB
english, 2007
11

A localic theory of lower and upper integrals

Year:
2008
Language:
english
File:
PDF, 211 KB
english, 2008
12

Information systems for continuous posets

Year:
1993
Language:
english
File:
PDF, 1.99 MB
english, 1993
17

A language for configuring multi-level specifications

Year:
2006
Language:
english
File:
PDF, 238 KB
english, 2006
19

Localic sup-lattices and tropological systems

Year:
2003
Language:
english
File:
PDF, 401 KB
english, 2003
21

Two section laser modelling

Year:
2003
Language:
english
File:
PDF, 71 KB
english, 2003
22

5-HT2C receptor modulation and the treatment of obesity

Year:
1999
Language:
english
File:
PDF, 106 KB
english, 1999
25

Presheaves as Configured Specifications

Year:
2001
Language:
english
File:
PDF, 174 KB
english, 2001
31

Entailment systems for stably locally compact locales

Year:
2004
Language:
english
File:
PDF, 403 KB
english, 2004
32

The connected Vietoris powerlocale

Year:
2009
Language:
english
File:
PDF, 396 KB
english, 2009
37

Cosheaves and connectedness in formal topology

Year:
2012
Language:
english
File:
PDF, 339 KB
english, 2012
39

An induction principle for consequence in arithmetic universes

Year:
2012
Language:
english
File:
PDF, 325 KB
english, 2012
47

Satiation: From Gut to Brain: edited by Gerard P. Smith

Year:
1999
Language:
english
File:
PDF, 67 KB
english, 1999